Antoine Vitez (20 décembre 1930-30 avril 1992)
نویسندگان
چکیده
منابع مشابه
Parallel Model Checking for Multiprocessor Architecture mardi 20 décembre 2011
In this thesis, we propose and study new algorithms and data structures for model checking nite-state, concurrent systems. We focus on techniques that target shared memory, multi-cores architectures, that are a current trend in computer architectures. In this context, we present new algorithms and data structures for exhaustive parallel model checking that are as e cient as possible, but also f...
متن کاملJules - Antoine Regnauld
Jules-Antoine Regnauld (1822-1895), French physician and pharmacist, who carried researches about mydriatic alkaloids (such as atropine), electrochemical phenomena, electromotive force, amalgams, properties of mixing in saline solutions, physiology, electrophysiology, fluorescence in live tissues, medical chemistry, anesthesia, and vision phenomena. Life and career Very little information is av...
متن کاملAnnual Report of Antoine LEMENANT
During the year 2009/2010 I was principally working on 3 different problems in collaboration with 4 different people, 3 of them working in Pisa and one in Parma. Those works led to 3 scientific papers and 1 review paper submitted during the year 2009/2010. The first work is a collaboration with Pablo Àlvarez-Caudevilla, postdoc at the center De Giorgi. We studied a problem in PDEs, about the as...
متن کاملساختار گردش جوی در طی بارش سنگین 21 دسامبر 1992 برروی شیراز (30 آذر 1371)
در طی بررسی الگوی گردش جوی در زمان وقوع بارش‌های سنگین برروی شهر شیراز در فصول پاییز سال‌های 1371 تا 1378 به موردی برخوردیم که با دیگر موارد تفاوت‌هایی داشت و ما را به بررسی جداگانه آن واداشت. در این مطالعه برای تعیین بارش‌های سنگین از روش آماری بروکس استفاده گردید. جهت تعیین ساختار گردشی جو در زمان وقوع بارش سنگین در این تاریخ کمیت‌های هواشناختی از قبیل فشار تراز دریا، ارتفاع ژئوپتانسیل، ر...
متن کاملبررسی عنوان‌های خبری 20:30 از دیدگاه بلاغی
هدف از انجام پژوهش حاضر، بررسی آرایه‌های ادبی در عنوان‌های بخش خبری 20:30 بوده است که یکی از بخش‌های جذاب و پربیننده رسانه ملی به شمار می‌رود. این پژوهش کیفی، در چارچوب تقسیم‌بندی فنون بلاغی شمیسا، به روش تحلیل محتوا و با نمونه‌گیری هدفمند انجام شده است. برای این منظور عنوان‌های خبری یک ماه، از تاریخ 1/10/1395 تا 30/10/1395 که در حدود 218 عنوان خبری را در برمی‌گیرد، جمع‌آوری شده است. ی...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Coulisses
سال: 1992
ISSN: 1150-594X,2546-9460
DOI: 10.4000/coulisses.1724